// Copyright © Aptos Foundation
// SPDX-License-Identifier: Apache-2.0

mod manual;
mod proptests;
